Fuzion • Library Modules • base • container • Binary_Heap_Queue • enqueue

container.Binary_Heap_Queue.enqueue

(elem T)

=>

[Redefinition of container.Mutable_Priority_Queue.enqueue]

add an element to the queue

Time complexity: amortized O(log n) or O(log n) when staying within min_size

Postcondition

post then debug 5 : check_heap_property

redefines:

container.Mutable_Priority_Queue.enqueue

0.097dev (GIT hash 7935358ec8b7743224ffa00b87fbe7bbf70dc69e)

last changed: 2026-06-12